From: Keir Fraser <keir.fraser@citrix.com>
Date: Tue, 6 May 2008 15:29:01 +0000 (+0100)
Subject: minios: let events get mixed
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14215^2~62
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/%22bookmarks://%22Dat/%22http:/www.example.com/cgi/%22https:/%22bookmarks:/%22Dat?a=commitdiff_plain;h=8bcb3b3622a7dc6019cd801fd9581914388ae91e;p=xen.git

minios: let events get mixed
since events do not need to be counted

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
---

diff --git a/tools/libxc/xc_minios.c b/tools/libxc/xc_minios.c
index 2131ed543e..d5c1b5245c 100644
--- a/tools/libxc/xc_minios.c
+++ b/tools/libxc/xc_minios.c
@@ -178,7 +178,7 @@ static void evtchn_handler(evtchn_port_t port, struct pt_regs *regs, void *data)
 	printk("Unknown port for handle %d\n", xce_handle);
 	return;
     }
-    files[xce_handle].evtchn.ports[i].pending++;
+    files[xce_handle].evtchn.ports[i].pending = 1;
     files[xce_handle].read = 1;
     wake_up(&event_queue);
 }
@@ -278,7 +278,7 @@ evtchn_port_or_error_t xc_evtchn_pending(int xce_handle)
     for (i = 0; i < MAX_EVTCHN_PORTS; i++) {
 	evtchn_port_t port = files[xce_handle].evtchn.ports[i].port;
 	if (port != -1 && files[xce_handle].evtchn.ports[i].pending) {
-	    files[xce_handle].evtchn.ports[i].pending--;
+	    files[xce_handle].evtchn.ports[i].pending = 0;
 	    local_irq_restore(flags);
 	    return port;
 	}